Re-use of tests and arguments for assesing dependable mixed-critically systems

The safety assessment of mixed-criticality systems (MCS) is a challenging activity due to system heterogeneity, design constraints and increasing complexity. The foundation for MCSs is the integrated architecture paradigm, where a compact hardware comprises multiple execution platforms and communication interfaces to implement concurrent functions with different safety requirements. Besides a computing platform providing adequate isolation and fault tolerance mechanism, the development of an MCS application shall also comply with the guidelines defined by the safety standards. A way to lower the overall MCS certification cost is to adopt a platform-based design (PBD) development approach. PBD is a model-based development (MBD) approach, where separate models of logic, hardware and deployment support the analysis of the resulting system properties and behaviour. The PBD development of MCSs benefits from a composition of modular safety properties (e.g. modular safety cases), which support the derivation of mixed-criticality product lines. The validation and verification (V&V) activities claim a substantial effort during the development of programmable electronics for safety-critical applications. As for the MCS dependability assessment, the purpose of the V&V is to provide evidences supporting the safety claims. The model-based development of MCSs adds more V&V tasks, because additional analysis (e.g., simulations) need to be carried out during the design phase. During the MCS integration phase, typically hardware-in-the-loop (HiL) plant simulators support the V&V campaigns, where test automation and fault-injection are the key to test repeatability and thorough exercise of the safety mechanisms. This dissertation proposes several V&V artefacts re-use strategies to perform an early verification at system level for a distributed MCS, artefacts that later would be reused up to the final stages in the development process: a test code re-use to verify the fault-tolerance mechanisms on a functional model of the system combined with a non-intrusive software fault-injection, a model to X-in-the-loop (XiL) and code-to-XiL re-use to provide models of the plant and distributed embedded nodes suited to the HiL simulator, and finally, an argumentation framework to support the automated composition and staged completion of modular safety-cases for dependability assessment, in the context of the platform-based development of mixed-criticality systems relying on the DREAMS harmonized platform.La dificultad para evaluar la seguridad de los sistemas de criticidad mixta (SCM) aumenta con la heterogeneidad del sistema, las restricciones de diseño y una complejidad creciente. Los SCM adoptan el paradigma de arquitectura integrada, donde un hardware embebido compacto comprende múltiples plataformas de ejecución e interfaces de comunicación para implementar funciones concurrentes y con diferentes requisitos de seguridad. Además de una plataforma de computación que provea un aislamiento y mecanismos de tolerancia a fallos adecuados, el desarrollo de una aplicación SCM además debe cumplir con las directrices definidas por las normas de seguridad. Una forma de reducir el coste global de la certificación de un SCM es adoptar un enfoque de desarrollo basado en plataforma (DBP). DBP es un enfoque de desarrollo basado en modelos (DBM), en el que modelos separados de lógica, hardware y despliegue soportan el análisis de las propiedades y el comportamiento emergente del sistema diseñado. El desarrollo DBP de SCMs se beneficia de una composición modular de propiedades de seguridad (por ejemplo, casos de seguridad modulares), que facilitan la definición de líneas de productos de criticidad mixta. Las actividades de verificación y validación (V&V) representan un esfuerzo sustancial durante el desarrollo de aplicaciones basadas en electrónica confiable. En la evaluación de la seguridad de un SCM el propósito de las actividades de V&V es obtener las evidencias que apoyen las aseveraciones de seguridad. El desarrollo basado en modelos de un SCM incrementa las tareas de V&V, porque permite realizar análisis adicionales (por ejemplo, simulaciones) durante la fase de diseño. En las campañas de pruebas de integración de un SCM habitualmente se emplean simuladores de planta hardware-in-the-loop (HiL), en donde la automatización de pruebas y la inyección de faltas son la clave para la repetitividad de las pruebas y para ejercitar completamente los mecanismos de tolerancia a fallos. Esta tesis propone diversas estrategias de reutilización de artefactos de V&V para la verificación temprana de un MCS distribuido, artefactos que se emplearán en ulteriores fases del desarrollo: la reutilización de código de prueba para verificar los mecanismos de tolerancia a fallos sobre un modelo funcional del sistema combinado con una inyección de fallos de software no intrusiva, la reutilización de modelo a X-in-the-loop (XiL) y código a XiL para obtener modelos de planta y nodos distribuidos aptos para el simulador HiL y, finalmente, un marco de argumentación para la composición automatizada y la compleción escalonada de casos de seguridad modulares, en el contexto del desarrollo basado en plataformas de sistemas de criticidad mixta empleando la plataforma armonizada DREAMS.Kritikotasun nahastuko sistemen segurtasun ebaluazioa jarduera neketsua da beraien heterogeneotasuna dela eta. Sistema hauen oinarria arkitektura integratuen paradigman datza, non hardware konpaktu batek exekuzio plataforma eta komunikazio interfaze ugari integratu ahal dituen segurtasun baldintza desberdineko funtzio konkurrenteak inplementatzeko. Konputazio plataformek isolamendu eta akatsen aurkako mekanismo egokiak emateaz gain, segurtasun arauek definituriko jarraibideak jarraitu behar dituzte kritikotasun mistodun aplikazioen garapenean. Sistema hauen zertifikazio prozesuaren kostua murrizteko aukera bat plataformetan oinarritutako garapenean (PBD) datza. Garapen planteamendu hau modeloetan oinarrituriko garapena da (MBD) non modeloaren logika, hardware eta garapen desberdinak sistemaren propietateen eta portaeraren aurka aztertzen diren. Kritikotasun mistodun sistemen PBD garapenak etekina ateratzen dio moduluetan oinarrituriko segurtasun propietateei, adibidez: segurtasun kasu modularrak (MSC). Modulu hauek kritikotasun mistodun produktu-lerroak ere hartzen dituzte kontutan. Berifikazio eta balioztatze (V&V) jarduerek esfortzu kontsideragarria eskatzen dute segurtasun-kiritikoetarako elektronika programagarrien garapenean. Kritikotasun mistodun sistemen konfiantzaren ebaluazioaren eta V&V jardueren helburua segurtasun eskariak jasotzen dituzten frogak proportzionatzea da. Kritikotasun mistodun sistemen modelo bidezko garapenek zeregin gehigarriak atxikitzen dizkio V&V jarduerari, fase honetan analisi gehigarriak (hots, simulazioak) zehazten direlako. Bestalde, kritikotasun mistodun sistemen integrazio fasean, hardware-in-the-loop (Hil) simulazio plantek V&V iniziatibak sostengatzen dituzte non testen automatizazioan eta akatsen txertaketan funtsezko jarduerak diren. Jarduera hauek frogen errepikapena eta segurtasun mekanismoak egiaztzea ahalbidetzen dute. Tesi honek V&V artefaktuen berrerabilpenerako estrategiak proposatzen ditu, kritikotasun mistodun sistemen egiaztatze azkarrerako sistema mailan eta garapen prozesuko azken faseetaraino erabili daitezkeenak. Esate baterako, test kodearen berrabilpena akats aurkako mekanismoak egiaztatzeko, modelotik X-in-the-loop (XiL)-ra eta kodetik XiL-rako konbertsioa HiL simulaziorako eta argumentazio egitura bat DREAMS Europear proiektuan definituriko arkitektura estiloan oinarrituriko segurtasun kasu modularrak automatikoki eta gradualki sortzeko

Cinética de la eliminación de fention en leche luego de una aplicación tópica en dos razas de ganado lechero

ABSTRACT: The mammary excretion of fenthion was determined in cross-bred (Bon x Holstein) and pure Holstein cows following a topical (pour-on) application of a commercial formulation. Two groups of five cows each received a single application at the recommended dosage of 10 mg/kg BW on the withers. Milk samples were collected twice a day, from the morning and afternoon milkings during a 5-day period and analyzed for fenthion and total fat contents. A bi-compartmental analysis was used to describe the pharmacokinetic parameters. Overall fenthion milk concentrations increased progressively to reach maximum peaks (Cmax) of 0.4 ppm and 0.2 ppm at about 33 hr post-treatment in cross-bred and pure Holstein cows, respectively. However, since total residues in milk were strongly correlated with total fat content, for any particular day the concentrations attained in the morning milking were lower than those for the afternoon collection. The elimination half-lives (T1/2) for the two cattle breeds were 52.5 and 59.3 hr for cross-bred and Holstein respectively as indicated by milk concentrations. Fenthion concentrations declined to the maximum residue limit of 0.05 ppm set by the OMS FAO at 8.0, and 6.61 days post application, in cross-bred and pure bred Holstein cows respectively. These results suggest that withdrawal time for milk from lactating dairy cows treated with topical fenthion, could be of 8 days approximately.RESUMEN: La excreción mamaria de fention se determinó en vacas productoras de leche cruzadas (Bon x Holstein) y Holstein puras, tras la aplicación tópica de una formulación comercial del compuesto. El producto se aplicó a dos grupos de cinco vacas por raza, a la dosis de 10 mg/Kg de peso vivo. Se colectaron muestras de leche dos veces diarias, en el ordeño de la mañana y de la tarde, por un período de cinco días y se midieron los niveles grasa y fention en leche. Se usó un análisis bicompartimental para describir los parámetros farmacocinéticos. Las concentraciones de fention en leche aumentaron progresivamente hasta alcanzar el pico máximo (Cmax) de 0.4 y 0.2 ppm a las 33 horas postratamiento en las vacas cruzadas y Holstein, respectivamente. Sin embargo, a pesar de que los residuos totales del fention se correlacionaron con el contenido de grasa, las concentraciones observadas en el ordeño de la mañana fueron menores que aquellas observadas en el ordeño de la tarde para las muestras de ese mismo día. Los tiempos medios de eliminación t1/2 fueron de 52,5 y 59.3 horas para el cruce y las vacas Holstein puras, respectivamente. Las vacas cruzadas y las vacas Holstein puras alcanzaron el nivel máximo de fention permitido por la OMS-FAO (0.05 ppm) a los 8.0 y a los 6.61 días después de la aplicación, respectivamente. Estos resultados sugieren que el tiempo de retiro de la leche de vacas en lactancia tratadas con fention vía dérmica podría ser 8 días aproximadamente

Factores asociados a sedentarismo en Chile: evidencia de la Encuesta Nacional de Salud 2009-2010 = Correlates of sedentary behaviors in Chile: evidence from the National Health Survey 2009-2010

Sedentary behaviors are one of the major risk factors for cardiovascular diseases. To identify factors associated with high sedentary behaviors in the Chilean population. We included 5,040 participants from the Chilean National Health Survey 2009-2010. Physical activity level and sedentary behavior (sitting time) were measured using the Global Physical Activity Questionnaire (GPAQ v2). Highly sedentary behaviors were determined as > 4 hours per day of sitting time. Logistic regression was used to identify correlates of highly sedentary behavior. Forty seven percent of the study population reported spending more than 4 hours per day sitting. The prevalence was higher in women. The main factors associated with high sedentary behavior were: high income levels (Odds ratio (OR):1.91 [95% Confidence intervals (CI:1.61-2.27]); being woman (OR:1.39 [95% CI:1.24-1.56]): having central obesity (OR:1.15 [95% CI:1.02-1.30]), being physically inactive (OR:2.35 [95% CI:2.06-2.68]), and living in an urban area (OR:1.92 [95% CI:1.63-2.26]). Other factors associates with high sedentary behavior were: being smoker, having a television set, computer and private car at their homes. Participants reporting a poor self-reported health and wellbeing and those with diabetes or metabolic syndrome were more likely to be highly sedentary. The main factors associated with high levels of sedentary behavior are socio-demographic issues, lifestyles and health status

Prevalence of mastitis in dairy herds in Eastern Antioquia

ABSTRACT: Seven dairy cattle farms from eastern Antioquia were tested for mastitis in a cross-sectional study with a non-probabilistic convenience sampling procedure. Each udder quarter of 290 lactating cows was evaluated through the California Mastitis Test in order to determine the prevalence of subclinical mastitis. Milk from positive quarters underwent somatic cell count (SCC), cell culture and antibiotic sensitivity tests. The prevalence of subclinical mastitis per quarter was 19.9% (228 quarters). Only 11 quarters (0.95%) had clinical mastitis. The average SCC for all quarters was 1,105,733 cells/mL. Streptococcus dysgalactiae was the most common bacteria observed (29.5%) in the 226 cultures evaluated, followed by coagulase negative staphylococci (CNS, 23%), and Staphylococcus aureus (10.3%). The frequency of contagious pathogens and environmental pathogens was 37.8% and 49.3%, respectively. This study confirms that mastitis remains elevated in this region, suggesting a continuous lack of milking hygiene and education of farm personnel.RESUMEN: Se realizó un estudio descriptivo de corte, y se hizo un muestreo no probabilístico de conveniencia, en siete fincas de ganado de leche localizadas en el oriente antioqueño. Se evaluó cada cuarto de 290 vacas en producción láctea mediante la realización del California Mastitis Test (CMT) con el fin de determinar la prevalencia de mastitis por cuarto y por vaca. A la leche proveniente de los cuartos positivos mayores a trazas, se les realizó recuento de células somáticas (RCS), cultivo y antibiograma. La prevalencia de mastitis subclínica por cuarto fue de 19.9% (228 cuartos) y 11 cuartos (0.95%) presentaron mastitis clínica. El promedio del RCS para todos los cuartos fue de 1.105.733 céls/ml. En los 226 cultivos, Streptococcus dysgalactiae fue la bacteria más común (29.5%), le siguieron estafilococos coagulasa negativo (ECN) (23%) y Staphylococcus aureus (10.3%). La frecuencia de patógenos contagiosos fue 37.8%, entre tanto que la de ambientales fue 49.3%

Mayores niveles de transporte activo se asocian a un menor nivel de adiposidad y menor riesgo de obesidad: resultados de la Encuesta Nacional de Salud 2009-2010 = Association of active commuting with obesity: findings from the Chilean National Health Survey 2009-2010

Background: Active commuting is associated with a lower risk for obesity in developed countries. Aim: To investigate the association between active commuting and obesity risk in Chile. Material and Methods: Active commuting was measured using the Global Physical Activity Questionnaire (GPAQ v2) in 5,293 participants from the Chilean National Health Survey 2009-2010. Body mass index (BMI) and waist circumference (WC) were the study outcomes. The association between active commuting and obesity was investigated using linear and logistic regression analysis. Results: Thirty four percent of responders [95% confidence intervals (CI): 32.6-35.1] were passive commuters. Active commuters had a lower BMI and WC than their passive counterparts. Thirty minutes increment in active commuting were associated with a −0.20 kg.m-2 lower BMI [95% CI: −0.33 to −0.07, p < 0.01] and a −076 cm lower WC [95% CI: −1.08 to −0.43, p < 0.01]. The odds of having a BMI > 25 kg.m-2 was 0.93 [95% CI: 0.88 to 0.98, p = 0.01] per every 30 minutes’ increment in active commuting, whereas the odds for central obesity was 0.87 [95% CI: 0.82 to 0.92, p < 0.01]. Conclusions: Active commuting is associated with a lower adiposity and lower risk for obesity in Chilean adults

Factores asociados a inactividad física en Chile: resultados de la Encuesta Nacional de Salud 2009-2010 = Correlates of physical inactivity: Findings from the Chilean National Health Survey 2009-2010

Background: Physical inactivity is an important risk factor for cardiovascular diseases. Aim: To identify factors associated with physical inactivity in Chilean adults. Material and Methods: Participants from the Chilean Health Survey (5,133 individuals) were included in this study. Physical activity was measured using the Global physical activity questionnaire (GPAQ). Physical inactivity was defined as < 600 MET. min.week−1 of moderate to vigorous intensity physical activity. Logistic regression was used to identify correlates of physical inactivity. Results: The main finding of this study were that women (odds ratio (OR): 1.51 [95% confidence intervals (CI): 1.32-1.72]) were more likely to be inactive compared to men and that older adults were more likely to be inactive than their younger or middle age counterparts (OR: 3.06 [95% CI: 2.45-3.82]). Other correlates of physical inactivity were individuals with obesity (OR: 1.43 [95% CI: 1.20-1.70]), diabetes (OR: 1.96 [95% CI: 1.61-2.38]), hypertension (OR: 1.72 [95% CI: 1.50-1.97]), metabolic syndrome (OR: 1.42 [95% IC: 1.18-1.70]), a low education level (OR: 1.26 [95% CI: 1.06-1.49]) and higher levels of sedentary behavior (OR: 2.77 [95% CI: 2.36-3.25]). Conclusions: Women, older people and sedentary subjects with chronic non-transmissible conditions are at higher risk of being physically inactive

Sostenibilidad y desarrollo humano integral

282 páginasEl Centro de Estudios para el Desarrollo Humano Integral (Cedhin) de la Universidad de La Sabana viene estudiando los desafíos del desarrollo global y la necesidad de un compromiso universal con el futuro del planeta. En este caso, ha reunido expertos en distintas áreas para proponer proyectos sociales, políticos, económicos y culturales, orientados a mejorar el modo de vida de muchas personas. En medio de la pandemia de la covid-19, vimos conveniente aportar ideas para la nueva sociedad que estamos llamados a construir entre todos después de la compleja situación que afrontamos. De ahí la convocatoria a esta reflexión interdisciplinaria, resultado de las investigaciones de los profesores invitados desde diversas áreas geográficas y epistemológicas. Esperamos que este libro, fruto de un trabajo mancomunado como aporte a la regeneración que exige la pandemia de la covid-19, estimule el compromiso generoso y solidario para promover un verdadero desarrollo humano integral.1. Desarrollo, desafíos, decisiones||2. El desarrollo humano integral en la doctrina social de la Iglesia||3. Contornos del bien común: derechos humanos, desarrollo y paz||4. La ecología de Francisco: de la “ecología integral” hacia el “pacto educativo global” ||5. Los negocios en la doctrina social de la Iglesia||6. Pilares de la perspectiva cristiana sobre la empresa y la acción directiva||7. La gerencia centrada en las capacidades humanas, condición necesaria para el desarrollo sostenible||8. La construcción de bienes públicos pospandemia: la renta básica universal||9. Las políticas de garantía pública de empleo: alternativa de dignificación del trabajo humano||10. Pensar las relaciones políticas, económicas y sociales desde el bien común, para lograr un desarrollo socioeconómico integral||11. La cooperación internacional como herramienta del desarrollo sostenible: una lectura desde las Agencias de Desarrollo Económico Local en Colombia||12. Programa de Desarrollo con Enfoque Territorial (PDET) de la subregión Chocó: aproximaciones desde las encíclicas sobre desarrollo humano integral||13. Epílogo. Experiencias internacionales para mejorar el desarrollo humano y la sostenibilida

5to. Congreso Internacional de Ciencia, Tecnología e Innovación para la Sociedad. Memoria académica

El V Congreso Internacional de Ciencia, Tecnología e Innovación para la Sociedad, CITIS 2019, realizado del 6 al 8 de febrero de 2019 y organizado por la Universidad Politécnica Salesiana, ofreció a la comunidad académica nacional e internacional una plataforma de comunicación unificada, dirigida a cubrir los problemas teóricos y prácticos de mayor impacto en la sociedad moderna desde la ingeniería. En esta edición, dedicada a los 25 años de vida de la UPS, los ejes temáticos estuvieron relacionados con la aplicación de la ciencia, el desarrollo tecnológico y la innovación en cinco pilares fundamentales de nuestra sociedad: la industria, la movilidad, la sostenibilidad ambiental, la información y las telecomunicaciones. El comité científico estuvo conformado formado por 48 investigadores procedentes de diez países: España, Reino Unido, Italia, Bélgica, México, Venezuela, Colombia, Brasil, Estados Unidos y Ecuador. Fueron recibidas un centenar de contribuciones, de las cuales 39 fueron aprobadas en forma de ponencias y 15 en formato poster. Estas contribuciones fueron presentadas de forma oral ante toda la comunidad académica que se dio cita en el Congreso, quienes desde el aula magna, el auditorio y la sala de usos múltiples de la Universidad Politécnica Salesiana, cumplieron respetuosamente la responsabilidad de representar a toda la sociedad en la revisión, aceptación y validación del conocimiento nuevo que fue presentado en cada exposición por los investigadores. Paralelo a las sesiones técnicas, el Congreso contó con espacios de presentación de posters científicos y cinco workshops en temáticas de vanguardia que cautivaron la atención de nuestros docentes y estudiantes. También en el marco del evento se impartieron un total de ocho conferencias magistrales en temas tan actuales como la gestión del conocimiento en la universidad-ecosistema, los retos y oportunidades de la industria 4.0, los avances de la investigación básica y aplicada en mecatrónica para el estudio de robots de nueva generación, la optimización en ingeniería con técnicas multi-objetivo, el desarrollo de las redes avanzadas en Latinoamérica y los mundos, la contaminación del aire debido al tránsito vehicular, el radón y los riesgos que representa este gas radiactivo para la salud humana, entre otros

Correction : Chaparro et al. Incidence, Clinical Characteristics and Management of Inflammatory Bowel Disease in Spain: Large-Scale Epidemiological Study. J. Clin. Med. 2021, 10, 2885

The authors wish to make the following corrections to this paper [...]